TSTP Solution File: SWV426^3 by SInE---0.4